\begin{table}
    \tiny{
    \begin{tabular}{|l|l|l|}
    \hline\hline
    {\bf Functions} & {\bf $\execGreek_1$} & {\bf $\execGreek_2$}\\
    \hline\hline

        $\ter{if\_then\_else}$
        & \parbox[b]{25em}{ Evaluates to $2^{nd}$ argument when evaluation of $1^{st}$ argument returns $\val{true}$ and to the $3^{rd}$ argument when the evaluation of the $1^{st}$ argument returns $\val{false}$}
        & \parbox[b]{25em}{ Evaluates to $2^{nd}$ argument when evaluation of $1^{st}$ argument is greater than $\val{0}$ and to $3^{rd}$ argument otherwise}\\ \hline

        $plus$   & \parbox[b]{25em}{Evaluates to the sum of the evaluation of its 2 arguments} & \parbox[b]{25em}{Evaluates to the sum of the evaluation of its 2 arguments}  \\ \hline

        $minus$ & \parbox[b]{25em}{Evaluates to the substraction of the evaluation of its $2^{st}$ argument from the $1^{st}$}
        & \parbox[b]{25em}{\rule{0ex}{3ex} Evaluates to the substraction of the evaluation of its $2^{st}$ argument from the $1^{st}$}\\ \hline

    $div$ & \parbox[b]{25em}{Evaluates to the result of dividing the result of the evaluation of the $1^{st}$ argument by the evaluation of the $2^{nd}$ when the $2^{nd}$ is different than $\val{0}$ to $\val{0}$ otherwise} &
    \parbox[b]{25em}{If the result of the evaluation of the $2^{nd}$ argument is different than $\val{0}$, evaluates to the result of dividing the result of the evaluation of the $1^{st}$ argument by the evaluation of the $2^{nd}$. Evaluates to $\val{0}$ otherwise}\\ \hline
    $times$ & \parbox[b]{25em}{Evaluates to the product of the evaluation of its 2 arguments} &
     \parbox[b]{25em}{Evaluates to the product of the evaluation of its 2 arguments}\\ \hline
    $gt$
    & \parbox[b]{25em}{
    Evaluates to $\val{true}$ when the evaluation of the $1^{st}$ argument is greater than the evaluation of the $2^{nd}$ argument and to $\val{false}$ otherwise}
    &  \parbox[b]{25em}{ Evaluates to $\val{1}$ when the evaluation of the $1^{st}$ argument is greater than the evaluation of the $2^{nd}$ and to $\val{0}$ otherwise}\\ \hline
    {\bf Terminals} &  & \\
    \hline\hline
    $[0, \ldots, 10]$ & Evaluates to the corresponding number & Evaluates to the corresponding number\\ \hline
    $\ter{time}$ & Evaluates to $\val{time}$ & Evaluates to $\val{time}$ \\
    \hline\hline
    \end{tabular}
     \caption{ $\execGreek_1$ doesn't accept the genotype of figure \ref{NoneSenseProgFig} but preserves the intended meaning of the functions and terminals, $\execGreek_2$ accepts the genotype of figure \ref{NoneSenseProgFig} but doesn't preserve the intended meaning of the operators.}
    \label{tab:ter2}}
    \end{table} 